| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 8 | 402676 | ||
| Analyse von Algorithmen | Fach-/Modulprüfung | 8 | 427733 | ||
| Vorlesung | 407082 | Mo 08:30-10:00 Online-Veranstaltung (×14) Di 08:30-10:00 Online-Veranstaltung (×14) | |||
| Compilerbau | Fach-/Modulprüfung | 6 | 402616 | ||
| Vorlesung | 400150 | Do 12:30-14:00 Online-Veranstaltung (×11) Fr 14:30-16:00 Online-Veranstaltung (×10) | |||
| Übung | 398320 | Mi 14:30-16:00 Online-Veranstaltung (×13) Do 08:30-18:00 5056 (2356|056) (×1) Fr 08:30-18:00 5056 (2356|056) (×1) | |||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 402431 | ||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 402890 | ||
| Vorlesung/Übung | 399309 | Mo 08:30-10:00 Online-Veranstaltung (×14) Di 08:30-10:00 Online-Veranstaltung (×14) | |||
| Graphalgorithmen | Fach-/Modulprüfung | 6 | 402901 | ||
| Vorlesung | 400576 | Di 14:30-16:00 Online-Veranstaltung (×11) Mi 12:30-14:00 Online-Veranstaltung (×9) | |||
| Tutorium | 400270 | ||||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 405506 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 402963 | ||
| Vorlesung | 399405 | Do 10:30-12:00 Online-Veranstaltung (×13) Fr 10:30-12:00 Online-Veranstaltung (×13) | |||
| Übung | 399099 | Mo 08:30-10:00 Online-Veranstaltung (×13) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 402937 | ||
| Vorlesung | 400101 | Mo 16:30-18:00 Online-Veranstaltung (×14) Di 16:30-18:00 Online-Veranstaltung (×14) | |||
| Übung | 399044 | Fr 12:30-14:00 Online-Veranstaltung (×14) | |||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 404093 | ||
| Fach-/Modulprüfung | 8 | 404094 | |||
| Mathematische Logik II | Fach-/Modulprüfung | 8 | 403579 | ||
| Vorlesung | 397845 | Mo 10:30-12:00 AH I (2350|028) (×14) Mo 12:30-14:00 Online-Veranstaltung (×14) Mi 10:30-12:00 AH I (2350|028) (×14) Mi 10:30-12:00 Online-Veranstaltung (×14) | |||
| Übung | 397307 | Mi 12:30-14:00 Online-Veranstaltung (×14) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 404964 | ||
| Vorlesung | 399346 | Mo 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×13) | |||
| Übung | 397945 | Do 10:30-12:00 Online-Veranstaltung (×13) | |||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 403590 | ||
| Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 404965 | ||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 402822 | ||
| Vorlesung | 397847 | Do 08:30-10:00 Online-Veranstaltung (×13) Fr 12:30-14:00 Online-Veranstaltung (×14) | |||
| Übung | 397562 | Mi 16:30-18:00 Online-Veranstaltung (×13) | |||
| Stochastic Games | Fach-/Modulprüfung | 6 | 401923 |